441. Theory of computation : formal languages, automata, and complexity
پدیدآورنده : Brookshear, J. Glenn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Machine theory,، Computational complexity
رده :
QA
267
.
B76
1989
442. Theory of computation : with 75 illustrations
پدیدآورنده : Kozen, Dexter
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,Mathematics ، Computer science,، Recursion theory
رده :
QA
267
.
7
.
K69
2006
443. Theory of computational Complexity
پدیدآورنده : Ding-Zhu Du,Ker-i ko
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : computational complexity
رده :
QA
267
.
D8
2000
444. Theory of computational complexity
پدیدآورنده : Du, Dingzhu
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity
رده :
QA
267
.
7
.
D8
2000
445. Theory of computational complexity
پدیدآورنده : Du, Ding-Zhu.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computational complexity
رده :
QA
267
.
7
.
D8
2000
446. Theory of computational complexity
پدیدآورنده : \ Ding-Zhu Du, Department of Computer Science, University of Texas at Dallas, Ann Arbor, MI, Ker-I Ko, Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational complexity,پیچیدگی محاسباتی,a01,a01
رده :
E-Book
,
447. Theory of computational complexity
پدیدآورنده : / Ding-Zhu Du, Ker-I Ko
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computational complexity
رده :
QA267
.
7
.
D8
2000
448. Theory of computational complexity
پدیدآورنده : Ding-Zhu Du, Ker-I Ko,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computational complexity
رده :
QA
.
D8
267
.
7
2000
449. Theory of computational complexity
پدیدآورنده : / Ding-Zhu Du, Ker-I Ko
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computational complexity
رده :
QA267
.
7
.
D8
2000
450. Theory of computational complexity
پدیدآورنده : / Ding-Zhu Du, Ker-I Ko
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computational complexity
رده :
QA267
.
7
.
D8
2000
451. Theory of computational complexity
پدیدآورنده : / Ding-Zhu Du, Ker-I Ko
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computational complexity.
رده :
QA267
.
7
.
D8
2014
452. Theory of computational complexity
پدیدآورنده : Du, Dingzhu.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computational complexity
رده :
QA
267
.
7
.
D8
2000
453. Theory of computional complexity
پدیدآورنده : Ding-Zhu Du, Ker-Iko
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Computational complexity
454. Thinking about G?del and Turing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
455. Time warps, String edits, and macromolecules: The theory and practice of sequence comparison
پدیدآورنده : edited by David Sankoff and Joseph B. Kruskal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequences )Mathematics(,، Pattern perception,، Computational complexity,، Molecular biology,، Speech processing systems
رده :
QA
292
.
T55
1983
456. Time warps, string edits, and macromolecules
پدیدآورنده : ]edited by[ David Sankoff and Joseph B. Kruskal; introduction by John Nerbonne
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequences )Mathematics(,، Pattern perception,، Computational complexity,، Molecular biology,، Speech processing systems
رده :
QA
292
.
T55
1999
457. Topics in the general theory of structures
پدیدآورنده :
موضوع : System analysis,Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
458. Topics in the theory of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
459. #Topics in the theory of computation
پدیدآورنده : #edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
رده :
#
QA
،#.
I56
،#
1985